термин, используемый в логике, юриспруденции (см., например,
Модус вивенди) и философии. В традиционной (силлогистической) логике М. называют разновидности силлогизмов (умозаключений), определяемые количеством, формой и взаимозависимостью их посылок и заключений. Термин этот перешёл и в современную формальную (математическую) логику. Например, modus ponens - это не что иное, как "правило заключения", или "правило отделения", т. е. правило вывода (см.
Логика, Логика предикатов)
, согласно которому из посылок вида
А и
А ⊃
В (⊃ - знак импликации, читаемый как "влечёт") можно получить заключение В. См.
Силлогистика.